Module-based Synthesis of Behavioral Verilog Descriptions to Asynchronous Circuits

نویسندگان

  • Mehrdad Najibi
  • Mohsen Naderi
  • Hossein Pedram
  • Mehdi Sedighi
چکیده

In this paper we present a design tool for automatic synthesis of Verilog behavioral description of an asynchronous circuit into delay insensitive presynthesized library modules, using syntax directed techniques. Our design tool can also generate appropriate output to support implementing the circuit on ASICs and LUT-based FPGAs consequently rapid prototyping of the asynchronous circuit becomes readily available using the proposed tool. General Terms Design, Languages

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated High-Level Synthesis of Low Power/Area Approximate Computing Circuits

Many classes of applications, especially in the domains of signal and image processing, computer vision, and machine learning, are inherently tolerant to inaccuracies in their underlying computations. This tolerance can be exploited to design approximate circuits that perform within acceptable accuracies but have much lower power consumption and smaller area footprints than their exact counterp...

متن کامل

An efficient CAD tool for High-Level Synthesis of VLSI digital transformers

Digital transformers are considered as one of the digital circuits being widely used in signal and data processing systems, audio and video processing, medical signal processing as well as telecommunication systems. Transforms such as Discrete Cosine Transform (DCT), Discrete Wavelet Transform (DWT) and Fast Fourier Transform (FFT) are among the ones being commonly used in this area. As an illu...

متن کامل

Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS

In this paper we present several practical methods for formally verifying an Asynchronous Transfer Mode (ATM) network switching fabric using the Verification Interacting with Synthesis (VIS) tool. We produced Verilog RTL behavioral and netlist structural descriptions of the switch fabric at different levels of hierarchy and established several abstracted models of the fabric. Using various tech...

متن کامل

Automatic Generation of Pausible Clock Based GALS Wrapper Circuits

In this paper we propose a method to generate pausible clock based GALS wrapper circuits from the synchronous module’s Verilog specification code automatically. We first parse the input module specification and produce wrapper circuit components based on the specification of entered synchronous module. Existing methods for generation of the wrapper circuit waste the die size because they instan...

متن کامل

Technical Report No. CE-J97-003: Synthesis of Power-Optimized Circuits from Hierarchical Behavioral Descriptions

The increasing market for portable and mobile electronics has made power consumption a critical design issue. In this work, we address the problem of synthesizing power-optimized architectures from hierarchical behavioral descriptions. Preserving and using the hierarchical information during synthesis leads to similar or superior quality designs in much less run-time. Our system can handle arbi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004